منابع مشابه
Knowledge Representation and Reasoning Logic meets Probability Theory
Preface to these notes This set of lecture notes gives a brief summary of the basic ideas and principles underlying the lectures given in the course Knowledge Representation and Reasoning. The basic idea underlying the course is that in AI you need to be able to precisely represent knowledge in order to explore that knowledge to solve problems. This is because, in contrast to humans, computers ...
متن کاملWhen graph theory meets knot theory
Since the early 1980s, graph theory has been a favorite topic for undergraduate research due to its accessibility and breadth of applications. By the early 1990s, knot theory was recognized as another such area of mathematics, in large part due to C. Adams’ text, The Knot Book. In this paper, we discuss the intersection of these two fields and provide a survey of current work in this area, much...
متن کاملDomain Theory Meets Default
1 Abstract. We present a development of the theory of default information structures, combining ideas from domain theory with ideas from non-monotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Reiter's default rules are viewed as non-deterministic algorithms for generating preferr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2011
ISSN: 0166-8641
DOI: 10.1016/j.topol.2011.01.004